1

Synthesis of Monitoring Rules with STL

Year:
2020
Language:
english
File:
PDF, 1.28 MB
english, 2020
3

Language-Guided Controller Synthesis for Linear Systems

Year:
2014
Language:
english
File:
PDF, 4.02 MB
english, 2014
5

Temporal logic model predictive control

Year:
2015
Language:
english
File:
PDF, 785 KB
english, 2015
6

Finite Bisimulations for Switched Linear Systems

Year:
2014
Language:
english
File:
PDF, 1.69 MB
english, 2014
16

Time-constrained temporal logic control of multi-affine systems

Year:
2013
Language:
english
File:
PDF, 1.31 MB
english, 2013
17

Time-Constrained Temporal Logic Control of Multi-Affine Systems

Year:
2012
Language:
english
File:
PDF, 546 KB
english, 2012